Nuprl Definition : prop_and
4,23
postcript
pdf
(
P
Q
)(
L
) ==
P
(
L
) &
Q
(
L
)
latex
Definitions
P
&
Q
origin
Q)(L) == P(L) & Q(L) Q)(L) == P(L) & Q(L)